AUTOMAKE_OPTIONS = dejagnu
EXTRA_DIST = kui.base config
DEJATOOL = kui.base
